1. A 25-Year Perspective on Logic Programmin
المؤلف: / edited by Agostino Dovier, Enrico Pontelli
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Information theory.,Logic design.,Artificial intelligence.
2. A paraconsistent decision-making method /
المؤلف: Fábio Romeu de Carvalho, Jair Minoro Abe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.
رده :
Q342
3. Algebraic and Logic Programming :
المؤلف: edited by Michael Hanus, Mario Rodríguez-Artalejo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
4. Argumentation Machines :
المؤلف: edited by Chris Reed, Timothy J. Norman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic.
5. Argumentation in multi-agent systems :
المؤلف: Peter McBurney, Iyad Rahwan, Simon Parsons (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Intelligent agents (Computer software), Congresses,Logic, Congresses
رده :
QA76
.
76
.
I58
A73
2010eb
6. Artificial Intelligence in Logic Design
المؤلف: by Svetlana N. Yanushkevich.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
7. Artificial intelligence in simulation
المؤلف: FUTO,IVAN
المکتبة: (طهران)
موضوع: ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
رده :
Q
335
.
F87
8. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
المؤلف: Puppis, Gabriele
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
9. Automated Deduction -- CADE-12 :
المؤلف: edited by Alan Bundy.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
10. Automated Deduction -- Cade-13 :
المؤلف: edited by M.A. McRobbie, J.K. Slaney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
11. Automated Mathematical Induction
المؤلف: edited by Hantao Zhang.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic.
رده :
QA76
.
9
.
A96
E358
1996
12. Automation of Reasoning :
المؤلف: edited by Jörg H. Siekmann, Graham Wrightson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
13. Based Methods-Rigorous State
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematical logic. ; Artificial intelligence. ; Computer organization. ; Software engineering. ; Microprogramming?. ; Mathematical Logic and Formal Languages. ;
14. Beyond Two: Theory and Applications of Multiple-Valued Logic
المؤلف: edited by Melvin Fitting, Ewa Orłowska.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computer science.,Logic design.
15. Biomimetic and Biohybrid Systems :
المؤلف: edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
رده :
T173
.
8
.
L58
2019
16. Clausal form logic : an introduction to the logic of computer reasoning
المؤلف: Richards, Tom.
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
17. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
المؤلف: I.R. Goodman, H.T. Nguyen and E.A. Walker
المکتبة: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع: Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
18. Computational Logic :
المؤلف: edited by John W. Lloyd.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
QA76
.
9
.
A96
E358
1990
19. Computational logic in multi-agent system
المؤلف: / J?�rgen Dix, Jo?uo Leite (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Intelligent agents (Computer software)--Congresses,Distributed artificial intelligence--Congresses
رده :
QA
,
76
.
9
,.
L63
,
C656
,
2004
20. Computational logic in multi-agent systems
المؤلف: / Francesca Toni, Paolo Torroni (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Intelligent agents (Computer software)--Congresses,Distributed artificial intelligence--Congresses,CLIMA,Multi-agent systems,Computational logic
رده :
QA
,
76
.
9
,.
L63
,
C67
,
2005
